Paul Taylor - PDFSEARCH.IO - Document Search Engine

Paul Taylor
Results: 290

#	Item
141	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
142	Origin of giant wave ripples in snowball Earth cap carbonate Michael P. Lamb1, Woodward W. Fischer1, Timothy D. Raub1,2, J. Taylor Perron3, and Paul M. Myrow4 1 Division of Geological and Planetary Sciences, California Add to Reading List Source URL: geomorph.caltech.edu Language: English* - Date: 2012-08-22 17:20:05 Sedimentary structures Wave-formed ripple Cross-bedding Sediment Capillary wave Airy wave theory Snowball Earth Hummocky cross-stratification Wave Geology Sedimentology Bedform
143	Marrying Out One-in-Seven New U.S. Marriages is Interracial or Interethnic RELEASED JUNE 4, 2010; REVISED JUNE15,2010 Paul Taylor, Project Director Add to Reading List Source URL: www.pewsocialtrends.org Language: English - Date: 2010-11-11 15:27:24 Demography Culture Antisemitism Miscegenation Nazi Germany Interracial marriage in the United States Anti-miscegenation laws Interracial marriage White people Racism Marriage Race
144	Commutative Diagrams in TEX (version 4) Paul Taylor www.cs.man.ac.uk/∼pt 15 June 1997 Abstract TEX and LATEX have become standard as a way of writing papers in Add to Reading List Source URL: ctan.ijs.si Language: English - Date: 2006-09-01 12:57:59 Abstract algebra Commutative diagram Object-oriented design Program Evaluation and Review Technique Limit TeX Diagrams Category theory Mathematics
145	New Developments in Seismic Risk Analysis of Highway Systems by Stuart D. Werner, Craig E. Taylor, Sungbin Cho, Jean-Paul Lavoie, Charles K. Huyck, Chip Eitzel, Ronald T. Eguchi, and James E. Moore II Research Objective Add to Reading List Source URL: mceer.buffalo.edu Language: English - Date: 2006-08-23 12:43:28 Structural engineering Earthquakes Earthquake engineering Seismic risk Seismic analysis Earthquake Civil engineering Seismology Construction
146	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: get-software.net Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
147	ASSIGNING PHRASE BREAKS FROM PART-OF-SPEECH SEQUENCES Alan W Black and Paul Taylor Centre for Speech Technology Research, University of Edinburgh, 80, South Bridge, Edinburgh, U.K. EH1 1HN http://www.cstr.ed.ac.uk Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2004-10-21 09:11:53 Computational linguistics Corpus linguistics Speech recognition N-gram Part-of-speech tagging Language model Algorithm Viterbi algorithm Markov models Natural language processing Linguistics
148	Intonation and dialogue context as constraints for speech recognition Paul Taylor Simon King Stephen Isard Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2004-10-21 09:12:06 Computational linguistics Speech recognition Natural language processing Phonology N-gram Language model Intonation Pitch accent Dialogue Linguistics Science Markov models
149	Canada-Nova Scotia Offshore Petroleum Board Organizational Structure Health, Safety & Environment Committee Paul Taylor Alternate Board Member Add to Reading List Source URL: www.callforbids.cnsopb.ns.ca Language: English - Date: 2012-08-13 12:48:19
150	MODELLING INTONATIONAL STRUCTURE USING HIDDEN MARKOV MODELS Helen Wright and Paul Taylor Centre for Speech Technology Research, University of Edinburgh, 80, South Bridge, Edinburgh, U.K. EH1 1HN http://www.cstr.ed.ac.uk Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2004-10-21 09:11:54 Markov models Phonology Phonetics Prosody Pitch accent Speech synthesis Hidden Markov model Prosodic unit Speech recognition Linguistics Science Computational linguistics

UPDATE